Formal Ontology (G9509)
نویسنده
چکیده
(1) Person x is financially dependent on person y (i.e., x cannot be solvent unless y is solvent). (2) Clause x of this contract depends on clause y (i.e., x does not apply unless y applies). (3) Sentence x depends for its truth on sentence y (i.e., x cannot be true if y is false). (4) The pressure x of a given mass of ideal gas depends on its temperature y and on its volume z (i.e., x cannot vary unless at least one of y and z varies in value). (5) The life-expectancy x of a male born in 1960 depends on the country y of his birth (i.e., males born in 1960 cannot differ in their life-expectancy unless they were born in different countries, other things being equal).
منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملتوسعه هستانشناسی فرایندمحور برای فناوریهای مدیریت دانش
This paper is an attempt to develop a new ontology for knowledge management (KM) technologies, determining the relationships between these technologies and classification of them. The study applies NOY methodology. Protégé software and OWL language are used for building the ontology. The presented ontology is evaluated with abbreviation and consistency criteria and knowledge retrieval of KM tec...
متن کاملطراحی سامانه نیمهخودکار ساخت هستیشناسی بهکمک تحلیل همرخدادی واژگان و روش C-value (مطالعه موردی: حوزه علمسنجی ایران)
Ontology is one of formal concepts and the relations in the specific regions.It have recently tried to design the learning, automatic methods of Ontology. Whereas Ontology containing concepts and the relations, exploiting concepts, the semantic relations among concept. The various Ontology of regions and different applications are expensive processes that are automatic.The lack of main knowledg...
متن کاملFormal Ontology - A New Discipline Between Philosophy, Formal Logic, and Artificial Intelligence
Research in ontology has in recent years become widespread in the field of information systems, in various areas of sciences, in business, in economy, and in industry. The importance of ontologies is increasingly recognized in fields diverse as in e-commerce, semantic web, enterprise, information integration, library and information science, qualitative modeling of physical systems, natural lan...
متن کامل